Comment expliquer les erreurs des multinationales et de leurs consultants?

Notes sur les modèles de jeux, leurs logiques temporelles, et leurs extensions temporisées

Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...

Contribution a l'étude des techniques de compression des données et de leurs domaines d'application

La Médecine traditionnelle de l'Inde: doctrines prévédique, védique, âyurvédique, yogique et tantrique. Les empereurs moghols, leurs maladies et leurs médecins

tactics, including the use of attack dogs. While pre-Columbian America was by no means a disease-free Shangri-La, the airborne and highly infectious European and African imports caused havoc among populations living in splendid immunological isolation. In contrast to some earlier works, Noble's book succeeds because of its scope and balance, and the author's effort to present the onslaught of d...

Les resultats immunologiques des injections associees d›anatoxine tetanique et de sulfamide chez le lapin

Modélisation des individus et de leurs relations pour l'aide à l'intégration des individus dans l'organisation

Résumé. L'objectif de ce papier est de présenter une contribution à la modélisation des individus et de leurs relations pour permettre l’aide à l'intégration des acteurs dans une organisation. Nous étudions en particulier le cas du remplacement d'un acteur (« turn-over »). Dans ce cadre, nous proposons un modèle regroupant un ensemble de données relatives à un individu, aux relations que celui-...